Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Special issue on Rich Vehicle Routing Problems

Editorial The Vehicle Routing Problem (VRP) is a key to efficient transportation management and supply-chain coordination. In broad terms, it deals with the optimal assignment of a set of transportation orders to a fleet of vehicles, and the sequencing of stops for each vehicle. The VRP has a large number of real-life applications and comes in many guises, depending on the type of operation, th...

متن کامل

A model study for Eu-rich EuO

In this thesis a model is formulated for Eu-rich EuO. It consists in an extension of the Kondo lattice model (KLM). For the KLM only a few exact statements exist. To those we add a new one, namely the exact mapping of the periodic Anderson model on the antiferromagnetic KLM for arbitrary coupling constant J . Pure EuO is a ferromagnetic semiconductor. Eu-rich EuO exhibits a huge metal–insulator...

متن کامل

Parsing Morphologically Rich Languages: Introduction to the Special Issue

Parsing is a key task in natural language processing. It involves predicting, for each natural language sentence, an abstract representation of the grammatical entities in the sentence and the relations between these entities. This representation provides an interface to compositional semantics and to the notions of “who did what to whom.” The last two decades have seen great advances in parsin...

متن کامل

Rich Models

We define a rich model to be one which contains a proper elementary substructure isomorphic to itself. Existence, non-structure, and categoricity theorems for rich models are proved. We show that a countable theory with few rich models is categorical in Ki. We also consider a stronger notion of richness, and in discussing it prove: "If T is an unstable theory, then for any saturated model M of ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Acta Informatica

سال: 2016

ISSN: 0001-5903,1432-0525

DOI: 10.1007/s00236-016-0259-0